Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract)

SAT solvers are widely used to solve many industrial problems because of their high performance, which is achieved by various heuristic methods. Understanding why these methods effective essential improving them. One approach this analyzing them using qualitative measurements. In our previous study, we proposed search similarity index (SSI), a metric quantify the between searches. SSI significantly improved performance parallel solver. Here, apply analyze effect restart, key solver technique. Experiments reveal correlation difficulty instances and change reason behind effectiveness state-of-the-art restart method also explained.